Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
881	Topics in Concurrency Lecture Notes Glynn Winskel c 2001[removed]Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-04-09 12:07:48 Theoretical computer science Process calculi Models of computation Logic in computer science Concurrency Π-calculus Petri net Model checking Function Mathematics Applied mathematics Logic
882	Property Verification for Generic Access Control Models1 Vincent C. Hu1, D. Richard Kuhn1, Tao Xie2 1 National Institute of Standards and Technology, 2North Carolina State University [removed], [removed], xie@csc. Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2009-05-06 01:00:00 Computing Software Model checkers Model checking Logic in computer science NuSMV Software testing Formal verification Role-based access control Formal methods Access control Security
883	[Downloaded from www.aece.ro on Tuesday, February 28, 2012 at 14:09:08 (UTC) by[removed]Redistribution subject to AECE license or copyright. Online distribution is expressly prohibited.] Advances in Electrical an Add to Reading List Source URL: ivanzuzak.info Language: English - Date: 2013-10-13 05:11:48 Automata theory Finite-state machine Graphical user interface testing Graphical user interfaces Model-based testing Software engineering Model checking Graphical user interface GUI widget Software testing Models of computation Mathematics
884	Using the Karp-Miller Tree Construction to Analyse Concurrent Finite-State Programs Haoxian Zhao Kellogg College Add to Reading List Source URL: www.cprover.org Language: English - Date: 2009-10-06 05:27:24 Thread Model checking Distributed computing Reachability Deadlock Computer programming Software engineering Computing Concurrency Concurrent computing
885	Master’s Thesis Formal Verification of Linux Device Drivers Thomas Witkowski May 2007 Add to Reading List Source URL: www.cprover.org Language: English - Date: 2008-12-31 05:38:12 Formal methods Linux Device drivers Monolithic kernels Kernel Device driver Model checking Formal verification Device driver synthesis and verification Software Computing Computer architecture
886	On Analysis and Synthesis of (n,k)-Non-Linear Feedback Shift Registers Add to Reading List Source URL: cecs.uci.edu Language: English - Date: 2008-02-11 20:43:22 Model checking Grain Mathematics Numerical software Theoretical computer science Applied mathematics COMPASS/Sample Code GEC Binary decision diagram Boolean algebra Diagrams
887	STATIC DETECTION OF SOFTWARE ERRORS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-09-15 16:09:34 Rhetoric Thesis Monica S. Lam Model checking Software bug Programming tool Evaluation Education Knowledge Academia
888	TSE[removed]The Design of a Multi-Core Extension of the SPIN Model Checker Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Computer architecture Central processing unit Model checkers Model checking Multi-core processor CPU design SPIN model checker Concurrent data structure Formal verification Computing Parallel computing Electronic engineering
889	Andr´ e Platzer Last updated: July 6, 2013 Contact Information Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-09-18 18:27:49 Mathematics Logic in computer science Formal methods Formal verification Model checking Magnus Egerstedt KeY Edmund M. Clarke Lecture Notes in Computer Science Theoretical computer science Applied mathematics Automated theorem proving
890	Bibliography Moshe Y. Vardi Department of Computer Science Rice University P.O. Box 1892 Houston, TX[removed]March 3, 2014 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2014-03-03 17:00:38 Temporal logic Finite model theory Common knowledge Theoretical computer science Computer science Model checking Academia Science Knowledge Year of birth missing Moshe Y. Vardi Vardi

UPDATE